- 程序謂詞
- predicate: n. 1.【語法】謂語，述語。 2.【邏輯學(xué)】謂項，述項 ...
- explicit program predicate: 顯式程序謂詞
- implicit program predicate: 隱式程序謂詞
- predicate: n. 1.【語法】謂語，述語。 2.【邏輯學(xué)】謂項，述項，述詞，賓詞。 3.本質(zhì)；屬性。 adj. 謂語的，述語的；謂項的，述項的。 vt. 1.論斷，斷言；斷定…為某物的屬性；斷定某物有…的屬性 (about; of)。 2.〔美國〕使(聲明、行動等)依據(jù)于 (on; upon), 使基于。 3.宣言，宣布，聲明。 4.意味著，具有…的含義。 5.【語法】表述。 vi. 斷言 (of)。 Can anything be predicated about a non-existent thing 能夠表述不存在的東西嗎？ (We) predicate of the motive that it is good. (我們)斷言這個動機是好的。
- predicate of: n變元謂詞; 變項謂詞
下載手機詞典可隨時隨地查詞查翻譯